BIOJMC.LOG[1,JMC]5 - www.SailDart.org

perm filename BIOJMC.LOG[1,JMC]5 blob sn#847141 filedate 1987-10-14 generic text, type T, neo UTF8

This is TeX, WAITS Version 2.5 (preloaded format=plain 87.9.20)  14 OCT 1987 13:10
**BIOJMC.TEX
(BIOJMC.TEX[1,JMC] [1] [2]
Overfull \hbox (10.57909pt too wide) in paragraph at lines 60--62, p.4
[]\tenbf McCarthy, John (1962)\tenrm : ``Com-puter Pro-grams for Check-ing Math-
e-mat-i-cal Proofs'',

\hbox(7.5+2.5)x361.34999, glue set - 1.0
.\hbox(0.0+0.0)x0.0
.\tenbf M
.\tenbf c
.\tenbf C
.\tenbf a
.etc.

[3] [4] [5] [6]
Output written on BIOJMC.DVI[1,JMC] (6 pages, 17980 bytes).